Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
871	Automated Runtime Verification with Eagle Allen Goldberg and Klaus Havelund Kestrel Technology, Palo Alto, California, USA {goldberg,havelund}@kestreltechnology.com Abstract. E AGLE is a very powerful logic for expressi Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:22 Temporal logic Linear temporal logic ALGOL 68 Monitor Model checking Agle Propositional calculus Logic Mathematical logic Software engineering
872	Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Ri Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:13 Software engineering Software quality Program analysis Software bug Java Pathfinder Static program analysis Model checking Debugging Verification and validation Software development Formal methods Software testing
873	Allen T. Goldberg Cell[removed]Home[removed] Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-06 09:55:12 Computing Technology Software design Validation Systems Modeling Language Model checking SIGSOFT Software development process Software visualization Formal methods Science Software engineering
874	Runtime Verification for Autonomous Spacecraft Software Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:35 Science Software development Logic in computer science Software quality Runtime verification Formal verification Model checking Software verification Software development process Formal methods Theoretical computer science Software testing
875	Verify Your Runs Klaus Havelund and Allen Goldberg Kestrel Technology, Palo Alto, California, USA http://www.kestreltechnology.com 1 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:25 Applied mathematics Temporal logic Software development Runtime verification Formal verification Model checking Abstract state machines Interval temporal logic Java Pathfinder Formal methods Theoretical computer science Logic in computer science
876	VER210_11Mar04_Corporate.book Add to Reading List Source URL: www.vsi.org Language: English - Date: 2008-07-19 13:22:26 Cadence Design Systems Model checking Specification Technology Design Management Hardware verification languages E Functional verification
877	Extracting Hybrid Automata from Control Code Steven Lyde, Matthew Might University of Utah, Salt Lake City, Utah, USA, {lyde,might}@cs.utah.edu Abstract. Formal methods—and abstract interpretation in particular— Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Models of computation Applied mathematics Hybrid automaton Computer science Hybrid system Model checking State transition system Formal language Actor model Differential equations Automata theory Mathematics
878	Model Checking Via ΓCFA Matthew Might, Benjamin Chambers, and Olin Shivers {mattm,bjchamb}@cc.gatech.edu, [removed] Abstract. We present and discuss techniques for performing and improving the model-checking o Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Computer science Mathematics Symbol Lambda calculus Applied mathematics
879	Curriculum Vitae Name: Eugene (Evgueni) Goldberg Citizenship: Add to Reading List Source URL: eigold.tripod.com Language: English - Date: 2014-05-13 11:37:03 Formal methods Electronic design automation Boolean algebra Electronic design Electronic engineering Boolean satisfiability problem Model checking Solver Automated theorem proving Theoretical computer science Mathematics Applied mathematics

UPDATE